Proust traverse le temps

Au temps en emporte le C

Le (bon) séquencement des événements au fil du temps est un sujet important pour l’analyse de programmes, par exemple dans le cadre de protocoles d’échange d’information ou de systèmes embarqués. De nombreux travaux s’appuient sur la logique temporelle linéaire (LTL) pour décrire formellement le comportement attendu d’un programme, sous la forme d’une succession d’actions distinctes. Implanté a...

Fusion de primitives visuelles pour le suivi 3D temps-réel

This paper proposes a real-time, robust and efficient 3D model-based tracking algorithm. A virtual visual servoing approach is used for monocular 3D tracking. The integration of texture information in the classical non-linear edgebased pose computation provides a more reliable tracker. Robustness is enforced using a multi-scale model of the texture and by integrating a M-estimator into the virt...

Une ontologie du temps pour le langage naturel

We propose a new ontology for the time in natural language which provides the following

Éditorial: Il faut revoir le temps de travail des enseignants! Le décret de 1950 est vraiment trop vieux!

Traverse Analysis

Traversing is a fundamental operation in surveying and the assessment of the quality of a traverse is a skill that every surveyor develops. Acceptable traverses have angular and linear misclosures that fall within acceptable bounds; which would permit the adjustment of the traverse measurements to remove mathematical inconsistencies. Unfortunately these misclosures tell very little about the pr...